Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
41	Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Paul Zimmermann GNU Compiler Collection GNU Fixed-point arithmetic IEEE floating point Floating point IEEE 754-1985
42	A proof of the Markov-Kakutani fixed point theorem via the Hahn-Banach theorem Dirk Werner S. Kakutani, in [2] and [3], provides a proof of the Hahn-Banach theorem Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2012-11-07 06:37:38 Fixed-point theorems MarkovKakutani fixed-point theorem HahnBanach theorem Kakutani fixed-point theorem Locally convex topological vector space Convex set Schauder fixed point theorem Fixed-point theorems in infinite-dimensional spaces
43	A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops Andreas Ibing, Alexandra Mai Chair for IT Security TU M¨unchen Boltzmannstrasse 3, 85748 Garching, Germany {ibing,mai}@sec.in.tum.de Add to Reading List Source URL: www.sec.in.tum.de Language: English - Date: 2016-02-01 08:36:29 Recursion Theoretical computer science Formal methods Compiler optimizations Infinite loop Satisfiability modulo theories Control flow For loop Algorithm Termination analysis Loop unrolling Satisfiability
44	Conformal Electroweak Symmetry Breaking and the LHC Add to Reading List Source URL: theory.fnal.gov Language: English - Date: 2015-04-03 15:19:43 Quantum field theory Particle physics Technicolor Quantum chromodynamics BanksZaks fixed point Phenomenology
45	Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-11-15 04:17:50 Computer arithmetic Abstract interpretation Interval arithmetic Rounding Floating point Affine arithmetic Interval Function Limit of a function NaN Fixed-point arithmetic Machine epsilon
46	171 Documenta Math. Power Reductivity over an Arbitrary Base ` Andr´ Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-21 15:52:28 Ring theory Algebraic structures Lie algebras Module theory Invariant theory Integral element Ring Algebraic K-theory Weight Fixed-point subring Torsion Harish-Chandra isomorphism
47	A hardware MP3 decoder with low precision floating point intermediate storage Andreas Ehliar, Johan Eilert LiTH-ISY-EXLink¨oping 2003 Add to Reading List Source URL: www.mp3-tech.org Language: English - Date: 2009-06-28 10:47:13 Computer arithmetic Central processing unit Computer architecture Processor register Instruction set Floating point Fixed-point arithmetic Decoder
48	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
49	9 The Domestic Economy Overview • National Income and Expenditure Accounts (NIE) for 2015 point to a volume increase Add to Reading List Source URL: www.centralbank.ie Language: English - Date: 2016-07-29 07:15:53 National accounts Economy of the Republic of Ireland Economy of the United Kingdom Gross domestic product Gross fixed capital formation Brexit Economy of Canada Abenomics
50	WORLDWIDE CORPORATE ACTIONS www.exchange-data.com VersionOctober 2015 Worldwide Corporate Actions Add to Reading List Source URL: www.exchange-data.com Language: English - Date: 2016-08-03 10:07:47 Contract law Fixed income Patent application Short Exchange rate Option Point of sale